ساختار نحوی ومعنایی منطق تکلیف

کمتر از یک قرن است ( از سال 1926) که نظامهایی منطقی برای بررسی مفاهیم هنجاری و استنتاجات مربوط به آنها ، بوجود آمده است. اولین نظامی که مورد توجه منطقیون قرار گرفت نظام فون رایت ( 1951) بود. برخی اشکالات موجود در نظام فون رایت ، منطقیون دیگررا بر آن داشت تا تغییراتی در نظام تکلیفی او ایجاد کنند حاصل این تغییرات ، نظام استاندارد منطق تکلیف است. اما این نظامها هم با پارادوکسهایی مواجه شدند و همین مواجهه ، منطقیون را واداشت تا نظامهای جدیدی ارائه دهند که در آنها امکان ایجاد پارادوکسهای مذکور نباشد. از جمله این نظامها ، نظامهای شرطی منطق تکلیف و نظامهای نسخ پذیر منطق تکلیف می باشند. بحث و بررسی در این زمینه همچنان ادامه دارد و منطقیون درصدد ارائه نظامهایی هستند که هر چه بهتر و دقیقتر بتوانند مفاهیم هنجاری و استدلالات منطقی مربوط به آنها را بیان کنند.